perm filename AMMI9.360[360,GF] blob
sn#793850 filedate 1985-05-27 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T Gd⊃p∂¬ %x↓W@EhαW U`β↔eXβVA¬P↓ eH↓@@U@↓@`U@↓↓U8↓AU8↓↓ U0↓A U(↓A@U(↓↓`e ↓BU_λTb∃⊂↓B@U⊂↓α`Uλ↓B`U↓CU↓β dx↓C@Tp↓C`Thαβ@dP¬α↓TP¬α↓T("⊂Dα⊂∂π@q (EJP(∧A*P(¬↓*@0¬A*@(ε↓*@(ε↓*@(ε↓*00¬AJ0(ε↓*0(¬AJ0(¬A* 0¬↓* (∧AJ!⊂)∧j⊂0¬↓*⊂(ε↓*⊂(εA*⊂(εA*0εA*(π↓*(π↓*(εAIp0εA)p(εAIp(εA)p(¬AI`0¬↓I!@%¬HT !H∧⊃p∂∧↓0↓∃aP ↓∃ p(α@5_βα@u⊂αC eλαC@UαDDxαD DpαD@Dhβ∧`$hαE$`αE $`αE $Xβ∩`TXαR@dPαR@TPαE $PαE4Xα¬$Xα∧`4XαD 4`α∧D`αC@Dhαβ DpαB@Dxβ↓ eλεTa∀("⊃∧2(∂π@q((EjP(∧AJP(¬A*@0εA
@(π↓*@(πA
@(πA*00πA*0(λ↓*0(λ↓*0(λ↓* 0λ↓* (λA* (λA* (λA*⊂0λ↓J⊂(λA*⊂(λA*⊂(λ↓*0λ↓*(λ↓*(πAJ(πA)p0π↓)p(π↓)p(ε↓Ip(¬AI`0∧↓i!8%¬(T "H$1p∂↓c%λ
∃ PXβ∃ Pp↓U`p↓UPx↓UPx↓UPx↓T``0↓↓`%_αA` 8↓∀`P8↓↓`%_αA@5⊂β↓@5⊂αA@5⊂π∀Aeλβ↓ EλαA`%λαA`%λαA` @↓∀`0↓A`5αA` @↓∀Q↓TPx↓S``x↓S`Px↓S`Ppα∪`P`αS@`H∧∩C4P
⊃(D0∂λβapβEj⊃8*A!0*A! *↓A0_*↓!@_*↓!@_*↓!@_)A@P⊂α@J0(β@P⊂)A `⊂α@J0(α@j 0α@j (α@j h)β*⊂0α↓
⊂(βJ⊂(βJ⊂(βJ0α@j(βJ((↓)p0'A)p('A)`0%βi x"Qλr⊂GCa∧↓@%8εA%(βA @⊂↓T``PβT@Phβ∀ Pxα∀Qα∪`Q⊂↓S@Q_↓S a_↓∪ Q ↓∪Q(↓∪TXβ∩`TXαR@dPαR@P`π∩@P`π∩@Qλβ∩`AλαR`AλαR`QαS@xβ∪PpαS @hβ∪@PPβS``0α Eλε@@5_∧A $("∩∧rH∂π@ppαβJ⊂pαβJP(εA*P(εA*@0ε↓J@(εA*@(εA*@(εA*00ε↓J0(εA*0(εA*0(εA* 0ε↓J (εA*!8)¬j⊂0ε↓J⊂(εA*⊂(εA*⊂(εA*0ε↓J(εA*(εA*(εA)p0ε↓Ip(εA)p(εA)p(εA)`0ε↓I pαβI pαβHT $E"qp∂↓aeλπ∃ U(αUe αUU αT`e_αT`U_αT@e⊂αT@U⊂αT eλαT UλαTeαTUαS`dxαS`TxαS@dPπ∩Ad("∩C!`∂πA@p+βK0(-A+ 0-↓+ (-↓+⊂0,A+⊂(,A+0,↓+(,↓*p0+A*p(+A*`0+↓)0 βA) 0β↓) 0αAI 0αA) 0α↓I (αA)0_α↓I@X&AhT %IE↓p∂↓a`0¬T!`0¬U Phβ∃ P`α∃`Xα∃PXα∃PP↓UPH↓T``8α∀`P8α∀`P0↓T`P(↓T@`_β∀@P_βT@P⊂∧T@Pλ↓@@Uλ∧@`Uλ∧↓eλβ↓`UλαBUβαeαB@UαB@eαB`Txβα`TxαCdxαC TxαC Tpββ dPπ↓!TPπ↓!T("∪β1h∂π@px(CjP(*A*@0*↓*@(*↓*00)A*0()A* 0)↓* ()↓*⊂0(A*⊂((A!P⊂(↓A@_(↓!P⊂(↓!@_(↓!@_'AA0_'A!0 'A!0 'A!⊂('↓@p8%¬i!8"Q S_GC`8∧EA%묬!%(β¬e(β∧`u βD`u βD@u ∧∧↓¬ ↓ Px↓@ U_↓@ Px↓ e_↓@Pp↓@ U_↓@``↓@@U_↓`P`↓`U⊂↓@`PX↓@@e⊂↓↓PP↓@`U⊂↓↓PH↓AU⊂↓↓`@↓↓ Uλ↓A P8↓Aeλ↓↓@P0↓A Uλ↓↓@P(↓A@Uλ↓↓@P(↓↓`U↓A@`_↓A@e↓αP⊂↓A`U↓αP⊂↓αU↓αPλ↓BTx↓B↓@β∪` Pβα Tx↓α@PPαS@0PαB@ThαB @Pβ∩A00↓AadP¬A` 8π⊃(Dp∪
βapβB!0X(BA X*AAP(*AaP⊂*α↓@_*@⊂0¬@J@⊂↓↓!0⊂*@ (¬@J0_↓↓A⊂_)@@@(∧@J0⊂α↓A⊂)@@P(∧J _αA@`_)@p(βJ ⊂βA@P⊂)A(α@J⊂_∧↓ @_(@A⊂0↓@J⊂⊂¬↓ 0⊂(@A 0↓J_¬A ⊂_(A@@(AP8(AP8'@aP8'@Ap('@Ap('b &A!p %αaP⊂%αaP⊂"Q r⊂GC`x∧UaU(β↓ e_βα U⊂αCUλαC@UαC`TxαD DpαD@Thβ∧@ThαD`T`αET`αETXβ¬TXαE TXαE TPβ¬dPαE TPαE TPαETPαETPαD`TXα∧@dXαD TXαDT`αβ`Thαβdpαα@TxαA uπ∀A∀("∀∧∩_∂π@q((EjP(¬↓*P(¬A*@0¬A*@(εA*@(εA*@(εA*00ε↓J0(εA*0(εA*0(ε↓* 0¬AJ (¬AJ (∧AJ!_(D*⊂((A*⊂((↓J((↓*('AIp('A)p('↓I p%βHT (H∧∩8∂βa∃8εU `(β∀``HαT@P`αT PpαTPxαS`Qλα∪@Q⊂αS a⊂αS Q_αSQ αSQ αR`a αR`Q(αR`Q(αR@a β∩@Q(αR@Q(αR@Q αR@Q αR@Q_αR`A⊂β∩`P8↓αTXαA `(αS@ ∧`Thα` ∧S@@λ↓Atxβ@`uπ↓@%⊂¬A`%P↓A@5P↓A@5P↓A 5Pα`EP¬⊗A∃P∧V`u`α⊃(E⊂⊂λCapβDj⊃(*A!0*A!⊂0*↓A (*↓!@(*↓!@(*↓!@()AA00)A!@()A!00)A! 0)↓A⊂0)↓ p8)∧* x(A@`((A!⊂_(A!⊂ (A!⊂ (↓A⊂((↓! ((↓! ((↓! ('AA⊂0'A! (αIp(¬↓ @⊂'A! (↓@i`0¬↓ _%β@p@%βA0"Q
1P∞πC`hβA%(¬@@%_αA u⊂αα Uλαα`Eλ↓C5↓C 5↓C@$xαβ 4xαβ $xαS`u¬∀↓Uλπ∀Ae εV↓∃Xβ↔ D`↓β`D`↓∧4`↓∧4`↓∧4X↓C`4Xαβ@4XαC4Xβα DPα @(αR@0_ε∩@ 0βQ(E ∂πcap↓FiQX&A`@(αAI@0β↓ `(&↓p0βA @_∧↓!⊂_%@a⊂(∧@i0_∧A!⊂_%a⊂0∧@I _∧A! ⊂%A (¬J`(*AJP(*A*P(*↓J@(*↓*@()AJ0()A*0()↓J ()↓* ((AI1λ%D(T *H∧!p∂!`0¬Ra`0¬S`PpαS`Px↓∪@`p↓S@Px↓∪@Px↓∪@Px↓∪ `p↓S Px↓∪ Px↓∪ Px↓∪`p↓SPx↓∪Px↓∪Px↓∩``p↓R`Px↓∩`Px↓∩`Px↓∩@`p↓R@Px↓∩@Px↓∩@Pp↓R@Ph↓R`@`↓R`PP↓S@H↓S P αSAEβQ(E0∂Hβapβ!P%β!P&AA`('↓!`_'↓!`_'↓!P_'↓!P⊂'↓!@_'↓!0_'↓A ⊂'A!⊂_'A!_'A!⊂'A p_'A p⊂'A `_'A P_'A@@⊂(↓ 0_(↓ _(↓ ⊂(↓ ⊂_(↓ ⊂⊂(α
8(↓J⊂((A
⊂_(@j⊂⊂"Q
rH∃GC`¬aP0∧RA _εAA∀Xβα@``↓SPXαC$`αB`PX↓SPPβα@4`αB@`P↓∪PHβB 4`αB pH↓∪P@∧α4`αB λαB$`αA`0λαA`4`αA@0⊂αA@4`αA@ _αA@$`αA 0_αA 4`β↓ β↓$hα@`0(α@`4hα@` 0α@`$hα@@00α@@4hα@ 08α@ 4hα@ @α@ $h∧α↓∧hβB thβB thβα@dhβα@dhαB`ThαβDhαβDp↓β@$p↓β@$("⊗∧R0∂πAhαBj hαBj`0¬↓J`0¬↓
p(¬jp0∧k(β@k(βk0αk⊂(↓@k⊂0@k @-↓k0(-AK00-↓k⊂H,` (,@00+@`@(+`P0*@`p(*a()@a⊂0)a0((@a@0(a`(&AAP8%αa⊂`%αa⊂`"Q⊃x⊂GC`εB↓$PεB↓$pαC@TpαC@4pββ4xαC$xαB`4xβα 5αB5αA`5β↓@%λαA 5λαA5λβ@5⊂α@@%⊂α@ 5⊂∧∀`e_αT`U⊂β∀@U⊂αT@Uλβ∀ UλαT Uβ∪↓d`π⊃(EP∂λβap∧E*1()AA⊂0)@a00)↓↓ 0)a 0)a⊂0)A⊂0(@a0(@a((@A0-↓K⊂0,↓Jp0+↓JP0*A*@0∧J00∧j 0∧@j⊂0¬J0¬ip0¬@i`0¬@i`(¬A P0¬@i@0¬↓)00∧α !0%¬HT 0Eαa_ BP⊂↓∀↓Dxα`dpα↓ Thα↓@T`α↓`T`α↓`DXααDXααDPαA`TPααDPααDPααDPα↓`P⊂↓∩@@8α`$Pα↓@P_↓∩`0(β@4Xα`pλ↓S↓⊂β∪ ` α⊃(F⊂λ∧Cap↓↓i@8'A p '↓)` '↓ ` &A)P &A P A)@`&↓` &↓ P_&↓` %A ` %Ap %Ap %Ap %↓ `(%↓p %↓p %↓`(%↓` %↓` %↓P %@`@ %A &α P("Q1 ∧b0@β∀↓∀xα@@Dpα`Thα↓T`α↓ T`α↓@4Xα∩`DPαR@DPα∩@DPα∩@@H↓∩@@@↓R`08↓R`@ α∪↓$pβ⊃(F
Ecapπ↓k8-A0 -↓+ -↓ ,A+⊂ ,A
(↓↓
h'A00'↓P(&A`(&↓p(&↓p %A↓ %A↓ %↓ p(%↓↓ %↓↓ %↓↓ %↓p(↓I βA0⊂%↓`(↓@I0_αA@ _%A08@i@@↓↓IP0α↓λT 2Dα!_ Be∧S`P_↓S P0↓∪ @8↓∪@8↓R`P(α∩`@⊂βRa4P∧∩@DPα∩@DPα∩@@H↓∩`0@↓R`@0↓S@_α∪!∀pβ⊃(F0
F∧qpπA
p8+α*`_A*P A*P ↓jP *↓*@ *↓
@ (αjX)A
0 )A
0 )A
()↓
)↓
(A*⊂ (A
⊂ (A
(↓
(↓
_'A 0_A @%α 8%↓I0 "Qq_
πα0Hα@@%λε∀@_β∪`@(αS@@0αS @8αS @8α∪@@α∪@@α∩`P8αR`@@α∩`@@α∩`@@α∩`@8αR`@8α∩`@0αS0(β∪@_βS!Dpβ E(α∃U α∩`00α∩@P αR@P_αR@P⊂αRa∀`β⊃(F@εβapα↓i`8(A
⊂ (↓* (↓
'A)p 'A p ↓↓I`(B ` @`0 '↓`@ '↓@`_&A@` &A p &A p &A↓ &↓ p(&↓↓ &↓↓ &↓p(%A p ↓@I0 ∧↓0⊂%Ap(↓i0 βA0⊂%↓!_↓i ∧Ai0⊂¬A(T 4C!ap∂α 5⊂αT@U⊂αT`48αS@Dhβ∪0λα∩`0⊂α∩` _α∩@0⊂αR@ _α∩@ _α∪@Tpα∪@DhαS D`α@@$`α`$`α@4`α@$`α 4hβ∪@D("~BQ ∪GB⊂_-↓+ (-↓+0_#A*P *↓j0_↓j _↓A
⊂_α↓
⊂⊂α↓*_α↓
⊂αA
p +↓*` +↓
` *A*P *A
P *↓*@ *↓
@ )A*0 %@`P %↓ 0 %↓ 0 %↓ ⊂(%B)@0"Q
1(GC` βS@uλα∀ EαTEα∀DxαS`Dxα∪`@8α∪@P(βS@@(∧∪@@ ↓@ Tpα`0⊂αS Pλα↓4hα DhβS d`¬∪@⊂αS@ α∪@ α∩`P α↓$Xα↓ @ ↓∩`@(α`4Xα↓ @_↓∩@P0↓@@4Pα↓`tX↓α@D("≠↓ X∂π@08&Aj (↓ p('A p 'A `('↓ ` '↓ P(&A P &A @(&↓ @ &↓ 0(%A 0 %A (@I ↓I ↓I @i @I00&↓λT 6I$q_ @`@0β↓@d`β↓↓ ∧∪ ⊂↓@@0_α@0_α∩`0⊂βA@λ↓ADX↓``0β↓@4P↓@@`0β↓@DP↓`P8αA`DP↓`P8αA`Dxαα@@α∪@P8αA`Tpαα@@α∪@@@ααDpαα@8αS P8αA`@ ↓∪ @@α↓`P ↓∪ @@α↓`@ ↓S @@α↓`@ ↓∪P8αB0⊂α∪@@αα!∧h↓α@ XαQ(FpεB1_↓@`p0&↓@0H%@`⊂_↓↓0 %@@ 8αA 0⊂↓↓@p_%`⊂0βA ⊂↓↓@p %@ (∧↓ ` ∧A P(∧↓)P ∧A P ∧A P ∧↓)@(∧↓0⊂&↓↓⊂ ↓@I@ ∧↓0_&↓↓ ↓@I0(∧@` _%A↓ 8&A@("Q
q_
Db0@βT↓$xα@`Dpα↓@Dhαα4`αα D`αα DXαα@DXαα@DPαB TPαα@DPαα@DPαα TPαα DPααTPααDXα↓@D`α`Th∧S@d("≤αq0∞∧``_αA)p0B)`_A`0 '@ (αA `⊂↓↓p_&@`⊂(βA P⊂↓↓↓ &@@ ∧↓
⊂ ∧↓
(βA* ∧↓
∧↓
βA)p(βA p βA)p βA p(αA `8↓A ` B ` ↓↓)` &A)P &A P &↓)@ %α) H"Q∞⊃_
Gα0@α@`5∧ Dxα`dpα↓ Thα↓@T`α↓`T`α↓`DXααDXααDPαA`TPααDPααDPααDPα↓`TPα↓`DPα↓@TX↓A dXα`t`ε∪ `λα∃E_αT`E_α∀`E⊂αT@Dx¬∪a$("≤B↓⊂ D`0_αA @0↓↓I0_@`⊂8%@@ X%@@ (A) _A@ _%@ (%@ ('↓ P(&A P &A @(&↓ @ &↓ 0(%A @⊂"Q∞1λ Db08βT↓∀x↓A 4p↓A`4p↓↓`Dh↓A`Dhα↓`$hβSA∀p¬∀↓∃_β∩`0@α∩@P@↓R@P@↓∩@P8↓R@@8↓R`@(α∪↓$pβQ(G εCC1Xβ@J (↓
(↓ p('A p %β) h'↓ ` '↓ P(&A P &A @(&↓ @ &↓ 0(αI0 α@I0 αi0 ↓@i0 ↓i@8&A(T :EC↓_ A0P↓∪ P@α∪0λ↓A`DX↓@@08α∩` ⊂α↓`DP↓@@@0αR@ ⊂αA@DP↓@@8α∪@@8α∪ P0αS @8α∪ @8α∪ @8α∪ @0α@@$hα↓@@_↓∪ @(α@`$hα↓`⊂↓S@0_β@ 4xβ@@eαAD("≥BA0 D`@_∧@IP(βA @_@`` %@` _βA 0⊂↓↓p %` ∧i ⊂↓A↓⊂%@ (∧I` ∧@IP(∧iP ∧@IP ∧@IP ∧iP ∧IP β@iP βiP α@i` ↓@ip@(↓HT ;GD↓_ A@H↓↓`$hβ↓`@(α∪0⊂↓A@@(α∩`0_↓A@@0α∩` _α↓@@0α∩@0_α↓ P8↓R@ α↓ @@↓∩@ _αA @@↓∪`@0αα$pαA P8↓S@@0αα$pα↓@@@↓∪@@0α↓`4pα↓@@8↓∪@@(αA@4pα↓ P(↓S@@ β↓ $xα@0λα@Eβ@a¬λαA T("≡αQ8 D``(α↓)`@↓↓iP ↓β @_α↓@⊂(&@` ↓↓)0_αA 0_%@@` %@@` )A
()↓
)↓
⊂(βI0_↓Ap⊂%↓ βi (A P_%β0_%↓` @%A @0"Q∂⊃ πα0 ↓B@$hαBD`↓@ 08α∩`0⊂↓A`DX↓@@8α∩@0⊂α↓@TP↓`@0α∩@ ⊂αA@Dpα↓`DhαA@Thα↓`Dhα↓`Dhα↓`Dhα↓@Thα↓@Dhα↓ Thα↓dpα@tx¬TPλα∃@E(αS00α∩`P α∩`P α∩`P_α∩`@⊂αS↓∀hβ⊃(GP E"1_βA`⊂'A`@_'B⊂ 'β)`_α↓)`⊂β@j`_*@j0 )↓
⊂_(ip_'a⊂&@a_&↓@P %Ci0 B) _α↓i ⊂β↓(T π#qp∂↓beλ∃ P@αU PHα∃`P↓UPX↓UPX↓UPX↓T``X↓∀`P`↓∀`P`↓∀`U⊂β∀@U⊂αT@Uλβ∀ UλαT Uβ∀UαTTxβ∪`TxαS`Tpβ∩AtPπQ(@λ⊂Hcap@L_/Ap(/↓KP8.α+0_↓↓+0⊂↓A+ _↓A+⊂_α↓K_β↓*p_βA*p⊂∧↓J`_∧A*P_¬↓*@_¬A*@⊂ε↓J0_εA* _π↓*⊂_πAJ_λA*⊂ ↓)p_ ↓)`_ AIP_
A)@_↓)Ax%H "λ%λ(T ↓λ∧⊃p∂βa∃8εU `(β∀``HαT@P`αT PpαTPxαS`Qλα∪@Q⊂αS a⊂αS Q_αSQ αSPλ↓β ⊂αR``λλ@@TXα@B⊂⊂αR`P⊂λ@@TPβ" λβ∩@P⊂↓β ⊂αR@P⊂↓β ⊂αR@P⊂↓β λαR@Q αR@Q_αR`A⊂β∩`QλαR`QαS@xαS @`β∪@@PαS`P(βT↓e⊂∧Q(@_
πβap @K@_.k0 -A (-↓+⊂0,AK8+B
p⊂A*`_A*`⊂↓↓*P_↓↓*P⊂↓AJ@_α↓*@⊂αA*0_αA*0⊂β↓* _β↓*⊂_βA*⊂⊂∧↓*_∧↓*⊂∧A)p_∧A)p⊂¬↓)`_¬↓)@(∧AI Hαβ) Hαβ(T απD↓p∂↓buλT"uλT1⊂↓T!_↓∀!_↓∀!_↓⊃`∃⊂↓β %⊂↓β %λ↓C5λλT"∃λλTα%↓β %↓β %↓β $8↓R`!_↓∩`!_↓∩`!_↓∩btP∩BtPQ(@(∪J#apβH
∩*A!P(*A!P(*↓A@0*↓!P(*↓!P(*↓!P()AA@0)A!P()A!P()A!P()↓A@0)↓!P()↓!P()↓!P((AA@0(A!P((A!P((A!P((↓A@0(↓!P((↓!P((↓!P('AA@0'A!P('A!P('A!P('↓A@0%β `h%β `h"Qbλ⊃GC`8
∀#%⊂αC@e⊂β∧5_αD5_ββ`5 αC`5 αC`5 ββ@%(αC@%(ββ %0αU@e8αU`e@αVE@↓U`50↓C % αβ 5_αβ@%⊂↓C`5λ↓D5↓D4x↓DDhα∧T`αβ@tX
∩C$P
⊃(@8∞GcapαAA (&B pH&α`PX%A 0 α↓ 0 %↓P(↓↓ `⊂%`p A p⊂%A A↓⊂%A@∧@J@@*AJ@8*↓J@0*↓*@(*↓*00)A*0()A* 0)↓* ()↓*⊂0(A*⊂((A*0%D 1"Q↓↓h∂πC`Pλ∃α¬Hβ⊗ U@β∃A∃⊂λ∀pλα@ dxβ@`_αS ` αA T`β↓ P(αR``0αA@TXαA@`0αR@`0αA`TPαA`P8αR@P8αA`TPαA@`0β∩@P0αA`TPαA@P0αR@P0αA TXαA` αSP_α@`dhβ!TxπT!%_αT`U_αT@dhλ∪"∧("α#R∂πA↓)∧
p(+A*`0+↓) (βA `0%↓@`(β↓I0(αA@P0%A P(αAI0(αA P(%A P(αA) 0α↓@@0%↓ P(αA) (αA P(%↓ P(α↓I (α↓@@(%↓ @(α↓I (α↓ 00%↓@0(↓↓I0(↓↓@⊂0%A@⊂(AIAλ&Ci``(A*⊂((A*0%D 1"Q↓"⊂πC`x¬∃B¬ βA@e⊂βB@eλββ Uββ`Txβ∧TxαD Tpβ∧ TpαD@TpαD@TpαD@TpαD Tpα∧@Tpα∧@Dpα∧ Dpα∧ Dx↓DDx↓DDx↓C`Dx↓C`4x↓C@Dx↓C DX↓` h↓@`$X↓`0X↓@`4P↓@`0X↓@`$P↓@`0P↓@`4P∧B!∀P∧B!∀P∧B↓$P∧B↓∀("αc⊃X Da8(αIp(↓A`⊂'↓` α@IP ∧↓0_&↓↓⊂ ↓@I@ ∧A0⊂%A↓ ↓i0 ¬↓ ⊂%↓! @%↓↓@0%↓↓@(%↓↓@(%↓↓@ %↓↓@ %↓↓ 0%A↓8↓@I@ α↓ _↓iPX↓Ai`8βA(T εε#"8∂β`e8¬∃@@ α∃ 08α∃0@α∀`0Hα∀` Pα∀@0Pα∀@ PαT 0Pα∀ PαT _¬T0⊂¬T _¬∀ ¬∀ X↓S`0Xα∪` `α∪` `α∪` `α∪@0XαS@ `α∪@ `α∪@ XαS 0Xα∪ 0PαS @Hα∪ P8α∪0λ↓AT`↓a∀`↓↓d`↓∩`4X↓∩`$X↓∩@4P↓∩@$P↓⊃(@hε#A_β↓!0⊂'α!_&B`p⊂&β P_%A P(αI0_∧@`@⊂%a0_↓i ⊂ε@@ ⊂%AP0-↓ -↓0⊂-@K _-k _-k⊂ ,A⊂ ,↓ ,↓ +A*p +A⊂"Q↓aλ GC`PαTA∃λα`5↓A@$x↓S`4x↓S`DxαTUλβ∀@e∧Sa$pα`Thα↓ D`α↓`4`α↓`4Xαα4Xαα4PαB4Pαα $Pαα $Pαα4Pαα$Pα↓`4Pα↓@4X↓A@$Xα`D`∧S@T("βaqλ Da8(α)p(&A)P &↓ 0(%A 0X%β %↓ %↓ 0_%A 0 &↓@_&BIp0"Qα↓ πb`H↓∀`%_↓∀`uλ∧Sa4pα@Th↓S4`↓∩`4X↓∩@4P↓R@4Pα∩@TXαR`d`β∪ dpβ∪`eαT E⊂↓T@5⊂↓T@$X↓@`4X∧∪ T("∧"Q8∞∧`0_βAI@0↓B)0_@` ↓A 0⊂↓↓`P %@@ 0β@i _A@p %@ 0βA ⊂↓↓! '↓↓⊂ &A!(&A↓⊂ &A↓⊂ &A↓⊂ &↓!(&↓↓⊂ &↓↓⊂ &↓↓⊂ %A!(%A↓⊂ &A ,↓
p(+A
p +A
`(+↓
` +@HT ∧BAp∂α@U⊂∧∀ @⊂↓T@ ↓T0(↓S`@(↓S@@0α∪@@0α∪ @8α∪ @8α∪@@α∪@@α∩`P8α∩`@@α∩b∧Xλ∩@P8αR@@@α∩@@@α∩@@8αR@@8α∩@@8α∩@@0α∩@08α∩@00α∩@00α∩@@ α∩`0_α∩`0⊂α∪thαQ(A_εβB1_α@I` '↓ ` '↓ P(&A P &↓)@ &↓ @ %A)0 α@I0 α@I (αi αi0_↓↓ 0@&↓(T
¬C↓_ A Hα∪@@8β∪@@(∧∪@@ ∧S@@_↓@`4hα@ Dhα DhβS t`¬S@_αS@(α∪@0α∩`P0α↓$Xα↓`@ ↓∩`@8α`4Xα↓`@_↓∩@P8α@4Pαα tX↓α`T("¬"a@∂π@P 'AJ )↓*0 )A
0(*↓
@ *↓*P *A
P(+↓
` +↓*`(*AJ@@)A⊂ )↓ (A0((↓P 'A` '↓ `(&A! &↓!⊂ %A! (%↓!@ %↓!@(%@Ap "Qαa@Gα08↓α@%ααEααEααEααDxαA`TxααDxααDxααDpαA`TpααDpααDpα↓`ThαA`P⊂↓∪ P0α@`$hαA@P_↓∪ ` β@4`β@`pλ↓S↓@⊂β∪@⊂αAD`α∩`TXα∩`DXα∩@TPα∩@DX↓⊃(A8εα1_B↓ ⊂%B↓⊂ '↓↓ '↓↓ '↓↓⊂(&A!⊂ &A↓⊂(&A↓⊂ &A↓(&↓! &↓↓ &↓p &↓` %A P %A@(%A0(%A⊂(%αI 8%↓(T ¬αr8∂α`%(↓∃ %(∧∀a5⊂ε∀P⊂β∀Dxα∪@Tpα∪@Dpα∪@Dpα∪a4xε∪aDpε∪ 4`↓R`4X↓R`$P↓R@4Pα∩`DXαRa∧`∧S!$x¬T!∃ βU@U@↓T 0_↓T!¬_αQ(AHFB1_α∧iQ &¬)0_α@@⊂%`P⊂αI ⊂α@`0_%@P⊂αj⊂⊂αj_αJ_αIp ↓@ip_αip_αi` α↓ ` α↓ P αA P αA @(αA @ β↓ P⊂∧HT
¬"a` CU ∧T`@_α∀@@ α∀ @0↓T@8α∀@8α∪`@@α∪`@@α∪@P8αS@@@α∪@@@α∪@@8αS P8α∪ @8αS @8α∪ P(α∪p_α∪@λ∧∪@⊂αSDXαR`DXα∩`DPαR@DPα∩`$("εc↓H Da↓(∧Iq_'↓@0(&A ` &↓ p &↓↓⊂ %A!⊂ %A↓ %↓!⊂(%↓↓ %↓↓ %↓↓⊂(%↓↓⊂ %↓↓(%↓↓ %A` &↓0(&BI`0"QβAλ
∧b0 εS↓t`πR`0_↓∩@0_↓R@ ↓R@ ↓T$x↓S`4pα∪@Dpα∪@4hα∪ Dhα∪T`α∪ $("π"a@ D`@_¬@IP(∧A @_@a %@` _∧A 0⊂↓↓↓⊂ %` ¬i ⊂↓A↓ ⊂%@ (¬I` ¬@IP(¬iP ¬@IP ¬@IP ¬iP ∧@iP ∧@IP ∧i` βi`(↓A pP(AHT ∂εβ"8∂∧%P↓⊗ 5H↓⊗ %H↓⊗5@↓⊗%@↓∃`5 ∧∀!Uβ λαS@P_↓@`DhαA (α∪P(↓↓ D`α↓@ 0α∩`P(↓A@DXα↓@ 8α∩@P0↓↓@TPα↓` 0α∩@@0↓A@DPα↓@ 0αR@@0↓↓@DPα↓@ (α∩`@ ↓AD`α` _αSP⊂↓ dpε∀↓¬⊂↓∀@%⊂↓∀ 5λ↓∀ %λ↓∀5↓⊃(Ax
εcA_α↓α⊂&AaP_&`⊂(¬@i@⊂↓A↓ _(A↓⊂_(A p_)↓`_)↓P_)↓ @⊂)A0_)A _)B
@0*↓*P *↓*@0)Aj _A
⊂_↓↓*_α↓ p_αA `_β↓)P_∧↓ P⊂∧A)@_¬↓ ⊂%@a0 ↓I _εAi ⊂πA(T ⊂εcR8∂∧@%`↓↔%X↓V`%X↓⊗`%P↓V@%P↓⊗@$p↓B0(↓∪ P8↓↓ D`↓@ 00↓↓ DX↓@@00↓↓@DX↓@@(↓A@DP↓@@@(↓α4P↓`@(↓α$P↓@P(↓α$pα↓ 0@↓∪ P(↓α4hα↓@ @↓∪ @0↓↓`4hα↓ 08↓∪ @(↓↓`4hα↓ 0↓S @(↓↓ 4pα`0 ↓S@`λ↓@UεTA¬ ↓U% ↓∃%_↓T`%_↓∀`%_↓⊃(Bλ
Fb1_α@B⊂'ap &@b &@B &b &B@_%@a⊂⊂∧@I0⊂∧@a⊂⊂%@A⊂_∧@I _∧↓↓_%A⊂_∧@I ⊂∧@a⊂⊂%A⊂_∧i _βAp_%``(β↓ 0_α↓`@ %B@⊂P&α H&A`@8'↓p "Q∧!_
∧b08¬SadpπS @H↓S 4`↓S4h↓!∧h¬S!4`↓@ tX↓R`$P↓R@0`↓∩` X↓R`@8α∪↓dh¬S`t("λbqH∂πA`(+Aj`_↓jP_αj@_α@j@⊂βj@⊂β↓
@⊂β↓
@⊂β↓
@_αA
P⊂αA P_α@`@ &↓@@_↓↓ 0_@`P@%@@ αAi0⊂↓↓p8%`⊂(βAi ⊂↓↓↓ %@ ∧↓ ` βA)P(βA P ∧↓ P βA P βA P β↓ P_βA P_β↓ P α↓ P ↓A `H(↓HT ∩λDQ_ Aβdh∂S∧∧X↓@@!(↓∩@0⊂↓E $P↓`!0↓∩@ ⊂↓B@ P↓∪@ X↓α@$p↓α` P↓∪ 0P↓B 4h↓α`0H↓∪ P↓B 4h↓α @H↓S @β↓`4h↓↓`p0α∪ (α@@ (α∪!0_¬∪! ∧SA0βS@p8β⊃(B( ECA_¬↓* H(A0 (↓@ 'A`_'↓p '↓p &A↓ &A↓ &↓ p(&↓↓ &↓↓ &↓p(%A p %A `(%A ` %A P %A@0 %`⊂H%@00%I ⊂%I ⊂%↓ x%CiPh,HT ∪∧BA@ B!¬λ¬S`P0↓∪@Dh↓S4X↓R`4X↓∩@4Pα∩@DXα∩`d`βS↓$p¬∀↓∃⊂βUU0↓U@5(↓Tuβ⊃(B8∞GcA_α@A08'a⊂P&@a⊂`&@A⊂(αA @_∧↓↓⊂⊂&A_¬@i0_β@aP⊂%@A_ε@I0⊂β@a`⊂%`p⊂πi ⊂β@a`⊂%``⊂πi0⊂βAP_%@`@_ε↓ 0 ↓@A@ &↓ ⊂¬↓)P8βAia⊂(βJ`(j_'A p 'A `('↓ ` '@HT ¬c⊃p∂α@u_¬∀@0(α∀ 0@↓T@@α∀@H↓T Pα↔ Ehα↔ Ehα∀`` α∀↓0⊂α∪`P α Dpααthαα@d`αα`d`αβDXαβ DXαβ DPαCDPαβ DPαβ 4PαβDPαβ4Pαα`DX↓B@DXα↓`T`α↓dh¬SA∧("_α!_∂πA@ *AJ@_↓J0_↓@J ↓@J⊂ αJ⊂ αJ α@J αj αIp αip ↓@i`(↓@I` ↓@i` ↓i` ↓IP(@iP @iP8&AIP(&A)P &@i@ %AI 8∧@I ⊂↓`p '↓@('BJ8"Q∂0Xε∧b0 α∪ d`↓@ DX↓@@DX↓`DP↓@@TP↓`DP↓`DpαS@Dpα∪ Thα∪P⊂↓∪@_↓∪@⊂↓S@⊂↓∪@λ↓S dpα⊃(G` ∧cA_¬A
@8)@` _)`0 (@`@ (@@@((`@ (@P +A
`(+↓
` +↓
P(*A
P *A
@(*↓
@ *↓
0()A 0_αA (↓A (↓A (A)0H&↓HT >Fβ1` A@4pαS @@β∪ 8¬∪00α@`D`↓↓ @8α∩`0 αα 4X↓↓0X↓R` _↓C4X↓` `α∩` ⊂↓CDXββ DXαA08α∩`P_αA D`α`P(α∪P⊂αAD`β @ α∩aλ↓@`DX↓@@λ∧R` ⊂α`TX↓`4X↓↓$P↓A$P↓↓ $P↓@`4X↓`$X↓@4Xβ∪D("∨BA`βGB⊂-K _%¬ ! ,@k_,HT ?Dβ00∞A!∧h¬S@0↓R`0H↓R@0X↓∩@ `↓∩@ `↓⊃(C
¬"1_βα ``&↓@@0&↓↓ %A↓ %A↓ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %A↓ %A↓ &↓↓ &↓ `('β
@"Qε⊂x Db0@↓∀DP¬∩A$xαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TPπRAt("B! D`@H%CI 0αAI 0β↓I 0βA) 0βA)0 ∧↓*`0+↓*P(*↓
0 ↓@J _α@J βIp β@I`_∧i@x%D !λ%∧(T →DBA` A th¬S@ β∩`P(αR``(αR``(αR``(αR``(αS@0α∃ U(α∀`TxβS`u(↓U@50α∃`E8αU`TXααTPβ↓`TPβ↓`TPβ↓`DPβ↓@TXα↓`D`α↓Th¬S`t("
αA(∞∧a`⊂+@j` +↓
P(*↓J08)α
⊂A*⊂_A*_↓↓)p_↓A)`_α↓)`⊂αA)P_αA)@_β↓)0_βA) _∧↓)! %¬
P(*A*P(*A*P(*A*P((C*⊂h"QεQ⊂
πα0⊂↓B $`π∪↓T`ε∪↓$`↓∪$`↓∪$`↓∪$`↓@d`ε∪P_αS08α∪ @αU`E8αU`TX↓B TPαBTPαBTPαBTPααTP↓B TX↓A`T`α↓Th¬S`t("
BA(∞π↓8(αIp(αi` β↓ P β↓)@(β↓)@ βA)0 ∧@i0 %A α↓I ↓αI A0(%↓⊂⊂βA 8∧↓ 0∧A 0¬↓ (¬A (¬A (¬A 0 ¬A 0 ¬A 0 ¬A @ ∧A @ ∧A P βA `(↓A)pX(AhT ≠DbQh
$X ∩b$XλRb∧PλR@0P↓R@ X↓∩@ P↓R@ P↓∃ 5(↓∃5 ↓∀`5_↓T@E⊂α∀ Eλα∀UαTTxβ∪`dxβ∪`dxβ∪`eα⊃(C@ ¬βA`β↓i`X&A@(&a_%@a⊂ %@a _%@a _%A↓⊂_%A@` %A`@ &↓` &Bi`H'B)P`&↓ ⊂@%AP8%@`p8%↓↓⊂(%a0 %a@_%a@_%a@_%a@_%↓↓ _%A↓ &↓ @(&C p@"Qπ⊃
Gα00βSA4hα@`T`α↓`DXαα DXαα DPαB@DPαα`DPαα`DPαβDPαβDPαβDPαβDPαB@TXαα@TXαα d`α↓`thα@`@λα∪A ⊂α∀`_α⊗ EHα∪ 0@α∪P8α∪P0α∪P(α∪@(α∪!4xβQ(B@∀Ja↓_β@J⊂⊂(j⊂'@i`_&↓ "H%
(T ∀J%0@ε¬∀P∀SDp↓S`5↓∀5λ↓∀ $("
E∩X∧∧d⊂5M _5@M0_6mP %
)"H"Q¬2H∃B↓@∀RE⊗hα≠6X↓Z`&P↓Z@&P↓⊃(B`∧αA!(α↓ @0%A _%I ⊂%I _%A @0'↓λT ⊗B↓ P
@DPβ∪ Dx↓T%↓∀$x↓S DPβ∩@D("BA(E`⊂%↓ 0%@⊂ %@0 %@@(%@` %A %A⊂ %A0 %A@(%A` %A` %A@(%A0 %A⊂ %@p(%@` %@@ %@0 %@⊂ %↓I %HT ↔EαQ8D@%Pα⊗e8α %(α`%_αA%⊂α↓@%αα$xαα $hαα`$XαC$Pαβ@$Pαβ@$XαC$hαα`$xαα %αA`%⊂α↓@% α↓%(α`%8α %@β⊗@E`↓⊃(CPαB @ @i (%↓) (%@hT ≥AA hα 4PαR@dPβ∩`Tp↓∪@$p↓∪ 4h↓∪4X↓R@4P↓⊃(C`
Gc⊃@l(/↓+@(-↓+(+↓*@()↓*('↓)@(%↓) (&↓)`((↓* (*↓*`(,↓+ (.↓+`(0↓, _"QπQ⊂
∧⊃↓⊗@%H↓V %H↓⊗5@↓∃`58↓∃`%0↓U@%0↓∃ 5(↓∃5 ↓∃%_↓T`%_↓∀@5⊂↓∀ 5λ↓∀ %↓T%↓∪`4x↓∪@4p↓∪@$h↓S $h↓∪4`↓∩`4X↓∩`$P↓R@$P↓⊃(Cp
Gc⊃@i (&↓)`((↓* (*↓*`(,↓+ (.↓+`(0↓,(/↓+@(-↓+(+↓*@()↓*('↓)@(%↓) _"Qπq0∧bPP↓∃% ↓∃% ↓∀`E_α∩@P α↓TP∪α$xε∀!¬⊂β∀!¬¬∀@⊂α∪`@ α∪`00↓S@0@↓S@ P↓⊃(EXεCd∩λI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@⊂8%αi `%`P(%@p %@p %@p %@p %@` %@` %@P(%@P %@@ %@0 %@ %@⊂ %↓I (%↓ ⊂"Q@Xπ c`↓∩@$P↓∩@$P↓∩@$P↓∩@ 8↓∩@ (α∩@ _β∩@ λ∧∩A4P∧ $Pβ`$Pα↓ $P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓ DP↓`dP↓!∧P¬RAλ↓∩@`_↓∩@@(↓∀`%_↓∀`%_↓∀`%_↓⊃(EhεCdqp∧@J0⊂)@I@⊂α@I@⊂α@I@⊂α@I@⊂α@I@⊂αA @⊂αA @⊂↓↓i@X%β X%↓` ⊂%↓P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P⊂&@P &@P &@ 8&αi `%αi 8↓I α@I@⊂α@I@⊂α@I@⊂α@I@⊂&I@⊂"QbH∃BB↓ $P↓H`4X↓λ`$X↓H 4`απ DhαF Tpβ¬ e∧Ba∃⊂UαU@εQ(Ex∀Ja!πβ*A()ε*H¬B)`0
AIP(A)@ ∞A 0_⊂@i0⊂⊃@I _⊃@i ⊂∩@H←@ε⊃X$m-CF(↓∨3@↓∨3@␈␈␈␈xβλ␈␈␈␈(αλ{⊂$0ε∃*P∧?0!λ``8}@(≡d_⊂@↓;`␈@λ⎇HB0β1␈0_`{⊃$ εεB0@␈0#π P"b↓"↑d8∩↓NG⊂|⎇Iα0β4)`7 {∩"@βL∨P}?0%ε@H%l@α∞≡dX∪@↓↑x E⎇IAxαf∂hQ{∪%Pπzi@↓-∨0' h⊗j`β∂↑dx⊃@↓H_=0p⎇J↓hαPε(u`{∀$@ε>
↓w?0)λ@`
7 ∧↔↑e_∞↓≥λ1@p⎇JAXα2tx↓∃⊂{∃#p¬Mipα7?0+ε@H4;@¬∞↑e8∀@↓hePV⎇Kα(β+:@↓7{⊗#0∧o6Pα|←0-π@P]P@ε∩↑fλ↓0 @`[⎇L! ↓aJ ↓Q0{_b@βGQPβ/←02ε@B/@εo↑f(
qpF@p→⎇La0↓␈M8↓g0{→bPβa90βZ←04ε`H=
πP↑fHλ\⊂sx]⎇M!λ↓?~pα`{~c∧$
@∧
←06β@ t4`λ9≡fh∀@↓g`(↓λ→⎇Ma`α=.pα≤p{≠b`β⎇PP∧G←08¬`@ T #≡gλ
@uHF↓_⎇N! ↓↑p`α6@{≤bPβjU0∧u←0:∧ (vB |↑g(
@↓↔(␈↓ ≥⎇Na0↓␈M8αJ@{≥d⊂¬i¬ ␈0<ε H∧↑`
d≡gH@↓↓H$@↓(t⎇O!(↓tg αf0{β@∧t∪¬U?0I@hZ @@↑`⊂⊃↓@pE↓87⎇@1hαP→(β⊂{↓βp¬Lε0ε
␈0αI`hn∩ 1↑`0∩↓LH=@↓H"⎇@qXα2{ β~p{αβp¬=PPεB←0∧G@PFz
&≡`P⊂↓9λπ↓X∞⎇A1pαQ ⊂β:`{ββ ∧Q1πα?0εF @mH ∞)↑`p @m0u↓h⎇Aq_↓U*XβV@{∧ααh%pπ3∨0λF @r'∞y≡a⊂
@w@@↓p-⎇B1↓:+_βm⊂{¬β0∧↑FPπa?0
F`HKm∂Z≡a0∞↓≡@i@↓xb⎇Bq@α∩'∧βP{εαp∧∞≤@λ⊃?0F@H)b`⊂9↑aP@↓βx≠αλ∨⎇C1Hα"
X∧~ {πα β∀E@λ>∨0∞F @s-`⊃
≡ap
@↓≤P#α⊂C⎇CqhαH%x∧1p{λβ`¬.Oλr?0⊂G P≤| ∩∂↑b⊂⎇Lα T⎇D1Xα8z_∧N { ∧@ε-ip -␈0∩E`@∨M@∩w↑b0⎇Lα0!⎇Drλαtx⊂∧gp{⊂β0∧g∞ ←?00∧`0e⊃@∪\≡gXπ@UHFα8n⎇OA_↓\8p¬α⊂{∨#p¬@e⊂
∞␈0?¬`@≤9∀B≡gxε@Iλ1αH∂⎇F↓8απ∞ ¬∪p{"p∧∞≤@
1←0→¬`@≤9∀o≡c_@↓β@rαH␈⎇FA8απ∞ ¬%`{
"p∧∞≤@
V∨0≠¬`@≤9∃C≡c8@↓β@rαX?⎇G↓8απ∞ ¬<P{∞"p∧∞≤@ε←0∀@↓8q`⊗)↑bH↔απλc@α`←⎇E"p∧∞≤8¬M@{
e`λ≤8p≡∨0⊗β HX@⊗B↑bhε@Iλ1αh∪⎇Ea8απ∞ ¬T {bp∧∞≤@3␈0≥β HX@⊗}↑cXε@Iλ1αp¬⎇GB β→$0¬bp{∂"p∧∞≤@M∨0∨ `e⊃@↔2↑cx@↓β@rαxα⎇K1⊂↓LR_¬t⊂{↔α β→$0u∨0.D@02H`_↑ep↔απλc@β`⎇Krp∧∞≤8ε∞p|@βλ
`{⎇xow{⎇x